Directed diagnostics of system dependability models
نویسنده
چکیده
References: 1) Husain Aljazzar and Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples, to appear in proceedings of QEST 2008. 2) Husain Aljazzar and Stefan Leue: Directed explicit state-space search in the generation of counterexamples for probabilistic reachability, 2008, submitted for journal publication. 3) Husain Aljazzar and Stefan Leue: Counterexamples for Model Checking of Markov Decision Processes, Technical Report soft-08-01, Chair for Software Engineering, University of Konstanz, 2007, submitted for publication. 4) Husain Aljazzar and Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability, Proceedings of FORMATS 2006. 5) Husain Aljazzar, Holger Hermanns and Stefan Leue: Counterexamples for Timed Probabilistic Reachability, Proceedings of FORMATS 2005. Our Approach
منابع مشابه
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. Indeed, a widely used approach in performability modeling is to describe the system by state space models (like Markov models). However, for large systems, the state space of the system model may result extremely large,...
متن کامل57 A Modeling Methodology for Hierarchical Control System and its Aplication
Current and future computerized systems and infrastructures are going to be based on the layering of different systems, designed at different times, with different technologies and components and difficult to integrate. Control systems and resource management systems are increasingly employed in such large and heterogeneous environment as a parallel infrastructure to allow an efficient, dependa...
متن کاملSystematic integrated approach to quantifying preventive diagnostics in a “smart” transport system
One of the main tasks facing all European countries for the next few years is the creation of the most dynamically organized transport sector. The constant passenger and freight traffic lead to congestions and pollutions at the transport highways, having negative impact on a person. Thus, introduction of new technologies, addressing the interrelated problems of optimizing transport flows and im...
متن کاملReliability Prediction in Dependability Models Considering Transient Faults
To evaluate the dependability properties of mission-critical systems like reliability, safety, availability, maintainability etc. a Markov chain models can be used. However the dependability prediction using these models is focused only on the stuck-at faults even though the system is exposed to the influence of transient faults produced by the operational environment. It is the aim of this pap...
متن کاملPetri Nets and Dependability
Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic ...
متن کامل